Definable Tree Property Can Hold at All Uncountable Regular Cardinals
نویسندگان
چکیده
Starting from a supercompact cardinal and a measurable above it, we construct a model of ZFC in which the definable tree property holds at all uncountable regular cardinals. This answers a question from [1]
منابع مشابه
The definable tree property for successors of cardinals
Strengthening a result of Amir Leshem [7], we prove that the consistency strength of holding GCH together with definable tree property for all successors of regular cardinals is precisely equal to the consistency strength of existence of proper class many Π 1 reflecting cardinals. Moreover it is proved that if κ is a supercompact cardinal and λ > κ is measurable, then there is a generic extensi...
متن کاملLarge cardinals and gap-1 morasses
We present a new partial order for directly forcing morasses to exist that enjoys a significant homogeneity property. We then use this forcing in a reverse Easton iteration to obtain an extension universe with morasses at every regular uncountable cardinal, while preserving all n-superstrong (1 ≤ n ≤ ω), hyperstrong and 1-extendible cardinals. In the latter case, a preliminary forcing to make t...
متن کاملOn equivalence relations second order definable over H(κ)
Let κ be an uncountable regular cardinal. Call an equivalence relation on functions from κ into 2 second order definable over H(κ) if there exists a second order sentence φ and a parameter P ⊆ H(κ) such that functions f and g from κ into 2 are equivalent iff the structure 〈H(κ),∈, P, f, g〉 satisfies φ. The possible numbers of equivalence classes of second order definable equivalence relations c...
متن کاملLarge cardinals and definable well-orders, without the GCH
We show that there is a class-sized partial order P with the property that forcing with P preserves ZFC, supercompact cardinals, inaccessible cardinals and the value of 2κ for every inaccessible cardinal κ and, if κ is an inaccessible cardinal and A is an arbitrary subset of κκ, then there is a P-generic extension of the ground model V in which A is definable in 〈H(κ+)V[G],∈〉 by a Σ1-formula wi...
متن کاملThe tree property and the failure of SCH at uncountable cofinality
Given a regular cardinal λ and λ many supercompact cardinals, we describe a type of forcing such that in the generic extension there is a cardinal κ with cofinality λ, the Singular Cardinal Hypothesis at κ fails, and the tree property holds at κ.
متن کامل